@charset "utf-8";
* { font-size: 12px; font-family:"Microsoft Yahei", SimSun, Verdana, Geneva, sans-serif; margin:0; padding:0; line-height:150%}
body {padding: 0 15px;}

.code, .variable { font-family:"Courier New", Courier, monospace; }
.spec { font-family:Verdana, Geneva, sans-serif;font-weight:bold; }
.abstract {font-style: italic; margin-left:24px;}
p {text-indent:24px; line-height:200%}
p.anno {
	text-indent:0;
	text-align:center;
	font-size: 9px;
}
#nav {
	background-color: #eee;
	float: right;
	border: 1px dotted #000;
	margin: 0 15px;
	padding: 5px 15px;
	list-style-type: none;
	list-style-position: inside;
}
#nav li {
	line-height: 150%;
}
#nav li a { color:#999; text-decoration: none; }
#nav li a:hover { color:#000; }
#nav li ul { margin-left:24px; list-style:none}
table {
	padding:10px; border-collapse:collapse;
}

td, th { padding: 5px 10px 5px 5px; border:1px solid #ccc; vertical-align:top; text-align:left}

.group1 {background-color:#EEE; text-align:left}
.group1 th {text-align:left}
.flow {
	list-style-type: none;
}
.flow li {
	background-color: #EEE;
	border: 1px solid #CCC;
	float: left;
	margin-left: 10px;
	padding-top: 2px;
	padding-right: 10px;
	padding-bottom: 2px;
	padding-left: 10px;
}
.source {
	display:block;
	background-color: #E0E0E0;
	border: 1px dashed #333;
	padding:5px;
}
.ln { color: rgb(0,0,0); font-weight: normal; font-style: normal; }
.s0 { font-style: italic; }
.s1 { color: rgb(0,0,255); font-weight: bold; }
.s2 { }
.s3 { color: rgb(0,128,0); font-weight: bold; }
.s4 { }
.s5 { color: rgb(0,0,128); font-weight: bold; }
.s6 { color: rgb(128,128,128); font-style: italic; }
.s7 { font-weight: bold; }
.source * {font-family: "Courier New", Courier, monospace;}